home *** CD-ROM | disk | FTP | other *** search
/ Garbo / Garbo.cdr / mac / progrmng / cmlmcmpw.sit / Caml Light / examples / kb / Makefile < prev    next >
Encoding:
Makefile  |  1991-05-24  |  1.0 KB  |  4 lines  |  [TEXT/MPS ]

  1. MakefileTEXTMPS ó~ñb
  2. ñb
  3. üü└(
  4. KB_FILES=prelude.zo terms.zo equation.zo order.zo kb.zo go.zo
  5. ZC=camlc
  6.  
  7. kb ─ {KB_FILES}
  8.     {ZC} -o kb {KB_FILES}
  9.  
  10. scratch ─
  11.     Delete -i kb ┼.zo ┼.zi
  12.  
  13. .zo ─ .zi
  14.     ;
  15. .zi ─ .ml
  16.     {ZC} -c {Default}.ml
  17.  
  18. equation.zi equation.zo ─ prelude.zi terms.zi
  19. go.zi go.zo ─ prelude.zi terms.zi equation.zi order.zi kb.zi
  20. kb.zi kb.zo ─ prelude.zi terms.zi equation.zi
  21. order.zi order.zo ─ prelude.zi terms.zi
  22. terms.zi terms.zo ─ prelude.zi
  23. LL2
  24. JR3$#-GQKN!#XYHQB!-F4B+!!Q-%R!"Makefile-TEXTMPS ÇTEXTMPS Ç-<]ñaéó~C+#dI#8$JG-JF0KdeMR*
  25. MU`$Sa,VAG'E+'CPF"h`d3'!$X+PRS(f@08"LFjh)D&N6PKDSEJ39C)G[#c9d8R(
  26. (6DJFFaY*'0fLeM@+A(B!E%G!Gpq&"m"i%jB(`(N*+D3H    Monaco kb {KB_FILES}
  27.  
  28. scratch ─<$S╜<$S╜ña╓╩ààLL2F',Γ2MPSR
  29. φ  G╬ö